Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings: 1522 (Lecture Notes in Computer Science)
by Phillip Windley,Ganesh Gopalakrishnan
ISBN 13: 9783540651918
Format: Paperback (548 pages) Publisher: Springer Published: 13 Jun 2008
Save for later